Теорема о рекуррентности чисел Стирлинга второго рода

Теорема о рекуррентности чисел Стирлинга второго рода

Формулировка:

$\genfrac{\{}{\}}{0pt}{}{n+1}{k} = k \cdot \genfrac{\{}{\}}{0pt}{}{n}{k} + \genfrac{\{}{\}}{0pt}{}{n}{k-1}$, с начальными условиями $\genfrac{\{}{\}}{0pt}{}{n}{n} = 1$ и $\genfrac{\{}{\}}{0pt}{}{n}{0} = 0~(n > 0)$.